Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
301	OCaml-Java Cheat Sheet ocamlbuild (extended) Field accesses Add to Reading List Source URL: www.ocamljava.org Language: English - Date: 2015-06-08 16:14:20 Computing Software engineering Computer programming Object-oriented programming languages Functional languages Cross-platform software Programming languages Java platform OCaml Java Bytecode Caml
302	State of the Meta, Summer 2015 Eugene Burmako (@xeno by) ´ Ecole Polytechnique F´ ed´ Add to Reading List Source URL: scalamacros.org Language: English - Date: 2016-08-18 07:56:24 Software engineering Computing Software Concurrent programming languages Functional languages Object-oriented programming languages Scripting languages Scala Source code Macro Martin Odersky SYNTAX
303	FoCaLiZe! Programming and Proving! A Bit Under the Hood François Pessaux - ENSTA ParisTech (U2IS) Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-04-14 11:22:28 Software engineering Computer programming Programming language theory Functional languages Functional programming Procedural programming languages Mathematical proof Coq OCaml Natural deduction Mathematical logic ALGOL 68
304	Behavior-Driven Development in Haskell a tutorial introduction Simon Hengel Wimdu GmbH Add to Reading List Source URL: www.bioinf.uni-leipzig.de Language: English - Date: 2013-05-14 07:18:32 Software engineering Computer programming Software development Functional languages Haskell Functional programming Behavior-driven development Monad FIBS Fib Subroutine Standard Performance Evaluation Corporation
305	Special Characters "" (stringification) pseudooperator, 467 "" key, 501 $" special variable, 261, 306 Add to Reading List Source URL: hop.perl.plover.com Language: English - Date: 2005-01-13 11:42:51 Software engineering Computer programming Computing Subroutines Functional languages Scripting languages Compiler construction Object-oriented programming languages Scope Lexical analysis Regular expression Memoization
306	About Shawn H Corey Working as a contractor has given Shawn years of experience in various types of programming. His experience enables him to develop state-of-the-art programs that are both comprehensive and functional. Add to Reading List Source URL: web.ncf.ca Language: English - Date: 2011-08-20 13:24:06 Software engineering Software Computer programming Perl Cross-platform software High-level programming languages Scripting languages CPAN Adam Kennedy
307	Microsoft PowerPoint - Lect05data_abstractionsv4.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-09-21 04:47:00 Software engineering Declarative programming Functional programming Data types Lisp Computer programming Lambda calculus Cons Append CAR and CDR Anonymous function T
308	Making Uniqueness Typing Less Unique Thesis submitted for the degree of Doctor in Philosophy December 14, 2008 Edsko Jacob Jelle de Vries Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Software engineering Theoretical computer science Mathematical logic Lambda calculus System F Type system Uniqueness type Functional programming Polymorphism Clean
309	Written Examination, December 18th, 2014 Course noThe duration of the examination is 4 hours. Course Name: Functional programming Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2015-04-21 04:40:47 Mathematical analysis Probability Statistics Probability and statistics Probability theory Expected value Recursion Mode Probability distribution Inductive probability
310	Chapter 2 A Static Checker for Safe Pattern Matching in Haskell Neil Mitchell and Colin Runciman 2.1 Abstract: A Haskell program may fail at runtime with a pattern-match error if Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Recursion Type theory Computability theory Theoretical computer science Fold Algebraic data type Pattern matching Constraint logic programming

UPDATE